fun (a) -> ()